Validity of Models and Classes of Models in Semantic Composability
نویسندگان
چکیده
Composability is the capability to select and assemble simulation components in various combinations into simulation systems. The defining characteristic of composability is the ability to combine and recombine components. Composability exists in two forms, syntactic and semantic (also known as engineering and modeling). Syntactic composability is the implementation of components so that they can be combined. Semantic composability is the question of whether the models embodied by the composed components can be meaningfully composed. A theory of semantic composability has been developed that examines the semantic composability of models using formal definitions and reasoning. In this paper results of semantic composability theory concerned with validity are presented. After briefly restating formal definitions of model and simulation, labeled transition systems are defined and introduced as models of the computation of models and compositions. Bisimulation, which is a general relation between the states of labeled transition simulations, is specialized with the addition of a validity metric, and shown to serve as a formal definition of validity. The power of different validity metrics to represent application-specific validity is explained. Classes of models are defined and compared with the models used in simulation. Certain classes of models and validity metrics for which validity is (or is not) preserved under composition are defined and their validity (or lack thereof) under composition is proven.
منابع مشابه
Semantic-Based Image Retrial in the VQ Compressed Domain using Image Annotation Statistical Models
متن کامل
Composable Simulation Models and Their Formal Validation
In component-based modeling and simulation, shared models are reused and assembled in various combinations to meet different user requirements, resulting in an appealing approach to reduce the time and cost of developing complex simulations. Towards achieving this goal, there are several challenges including the lack of methodologies and techniques to support the life-cycle of component-based d...
متن کاملA Context-aware Architecture for Mental Model Sharing through Semantic Movement in Intelligent Agents
Recent studies in multi-agent systems are paying increasingly more attention to the paradigm of designing intelligent agents with human inspired concepts. One of the main cognitive concepts driving the core of many recent approaches in multi agent systems is shared mental models. In this paper, we propose an architecture for sharing mental models based on a new concept called semantic movement....
متن کاملModels of EFL Learners’ Vocabulary Development: Spreading Activation vs. Hierarchical Network Model
Semantic network approaches view organization or representation of internal lexicon in the form of either spreading or hierarchical system identified, respectively, as Spreading Activation Model (SAM) and Hi- erarchical Network Model (HNM). However, the validity of either model is amongst the intact issues in the literature which can be studied through basing the instruction compatible wi...
متن کاملA Joint Semantic Vector Representation Model for Text Clustering and Classification
Text clustering and classification are two main tasks of text mining. Feature selection plays the key role in the quality of the clustering and classification results. Although word-based features such as term frequency-inverse document frequency (TF-IDF) vectors have been widely used in different applications, their shortcoming in capturing semantic concepts of text motivated researches to use...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003